(PROP:60 
  (EXCQPRO:58 ope:1))

